Evoluzioni di Ontologie in Frame Logic

In quest’articolo presentiamo una metodologia e un framework per le evoluzioni di ontologie definite in Frame Logic. Il sistema definito permette di valutare operazioni di modifica di un’ontologia al fine di garantire la consistenza dell’ontologia stessa. Il framework esegue controlli mediante un insieme di operazioni di base e inoltre è in grado di eseguire operazioni di controllo su regole evolutive definite dall’utente per uno specifico dominio.